#!/bin/sh
echo "wesnoth-unstable_editor is deprecated -- please use wesnoth-unstable --editor directly!"
wesnoth-unstable --editor $*
